[INFO] cloning repository https://github.com/hopv/hoice
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hopv/hoice" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 41b4dff03c6e87f601421c06d431dcca8d1435aa
[INFO] fixing hopv/hoice against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=end=2015,2024 for pr-157817-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/hopv/hoice
[INFO] finished tweaking git repo https://github.com/hopv/hoice
[INFO] tweaked toml for git repo https://github.com/hopv/hoice written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/hopv/hoice on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/hopv/hoice already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7
[INFO] running `Command { std: "docker" "start" "02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=end=2015,2024", kill_on_drop: false }`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2021 edition to 2024
[INFO] [stderr]    Compiling libc v0.2.133
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]     Checking gimli v0.26.2
[INFO] [stderr]    Compiling num-rational v0.4.1
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]     Checking rustc-demangle v0.1.21
[INFO] [stderr]     Checking os_str_bytes v6.3.0
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling backtrace v0.3.66
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking indexmap v1.9.1
[INFO] [stderr]     Checking textwrap v0.15.1
[INFO] [stderr]     Checking once_cell v1.15.0
[INFO] [stderr]     Checking hashconsing v1.5.1
[INFO] [stderr]     Checking mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9)
[INFO] [stderr]     Checking either v1.8.0
[INFO] [stderr]     Checking clap_lex v0.2.4
[INFO] [stderr]     Checking object v0.29.0
[INFO] [stderr]     Checking getrandom v0.2.7
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v3.2.22
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking num-complex v0.4.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking addr2line v0.17.0
[INFO] [stderr]     Checking num v0.4.0
[INFO] [stderr]     Checking rsmt2 v0.16.2
[INFO] [stderr]     Checking hoice v1.10.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating src/hoice.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed src/teacher.rs (5 fixes)
[INFO] [stderr]        Fixed src/parse.rs (3 fixes)
[INFO] [stderr]        Fixed src/preproc/strict_neg_clauses.rs (4 fixes)
[INFO] [stderr]        Fixed src/data.rs (2 fixes)
[INFO] [stderr]        Fixed src/learning/ice/synth/real.rs (3 fixes)
[INFO] [stderr]        Fixed src/term/eval.rs (2 fixes)
[INFO] [stderr]        Fixed src/learning/ice/synth/int.rs (1 fix)
[INFO] [stderr]        Fixed src/instance/pre_instance.rs (9 fixes)
[INFO] [stderr]        Fixed src/preproc/fun_preds.rs (1 fix)
[INFO] [stderr]        Fixed src/common/consts.rs (1 fix)
[INFO] [stderr]        Fixed src/term/op.rs (10 fixes)
[INFO] [stderr]        Fixed src/teacher/assistant.rs (2 fixes)
[INFO] [stderr]        Fixed src/common/macros.rs (68 fixes)
[INFO] [stderr]        Fixed src/learning/ice/quals.rs (1 fix)
[INFO] [stderr]        Fixed src/instance/clause.rs (5 fixes)
[INFO] [stderr]        Fixed src/common/config.rs (30 fixes)
[INFO] [stderr]        Fixed src/common/smt.rs (3 fixes)
[INFO] [stderr]        Fixed src/val.rs (61 fixes)
[INFO] [stderr]        Fixed src/parse/ptterms.rs (4 fixes)
[INFO] [stderr]        Fixed src/learning/ice.rs (4 fixes)
[INFO] [stderr]        Fixed src/preproc/bias_unroll.rs (3 fixes)
[INFO] [stderr]        Fixed src/term/tterms.rs (3 fixes)
[INFO] [stderr]        Fixed src/term/zip.rs (1 fix)
[INFO] [stderr]        Fixed src/common.rs (3 fixes)
[INFO] [stderr]        Fixed src/unsat_core/sample_graph.rs (13 fixes)
[INFO] [stderr]        Fixed src/term/factory.rs (1 fix)
[INFO] [stderr]        Fixed src/instance.rs (2 fixes)
[INFO] [stderr]        Fixed src/term.rs (2 fixes)
[INFO] [stderr]        Fixed src/preproc/arg_red.rs (2 fixes)
[INFO] [stderr]        Fixed src/preproc/cfg_red.rs (3 fixes)
[INFO] [stderr]        Fixed src/learning/ice/synth/helpers.rs (14 fixes)
[INFO] [stderr]        Fixed src/term/simplify.rs (17 fixes)
[INFO] [stderr]        Fixed src/fun.rs (6 fixes)
[INFO] [stderr]        Fixed src/dtyp.rs (6 fixes)
[INFO] [stderr]        Fixed src/preproc.rs (5 fixes)
[INFO] [stderr]        Fixed src/hoice.rs (1 fix)
[INFO] [stderr]        Fixed src/preproc/unroll.rs (3 fixes)
[INFO] [stderr]        Fixed src/term/typ.rs (1 fix)
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/common.rs:837:37
[INFO] [stdout]     |
[INFO] [stdout] 836 |             'find_next: while let Some((_, mut curr)) = current.pop() {
[INFO] [stdout]     |                                            --------
[INFO] [stdout]     |                                            |
[INFO] [stdout]     |                                            `curr` calls a custom destructor
[INFO] [stdout]     |                                            `curr` will be dropped later as of Edition 2024
[INFO] [stdout] 837 |                 if let Some(next) = curr.next() {
[INFO] [stdout]     |                                     ^^^^^^^^^^^
[INFO] [stdout]     |                                     |
[INFO] [stdout]     |                                     this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                                     up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 852 |             }
[INFO] [stdout]     |             - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout]     = note: `--force-warn tail-expr-drop-order` implied by `--force-warn rust-2024-compatibility`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/common.rs:836:57
[INFO] [stdout]     |
[INFO] [stdout] 836 |             'find_next: while let Some((_, mut curr)) = current.pop() {
[INFO] [stdout]     |                                            --------     ^^^^^^^^^^^^^
[INFO] [stdout]     |                                            |            |
[INFO] [stdout]     |                                            |            this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                                            |            up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     |                                            `curr` calls a custom destructor
[INFO] [stdout]     |                                            `curr` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 852 |             }
[INFO] [stdout]     |             - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/check.rs:322:19
[INFO] [stdout]     |
[INFO] [stdout] 322 |             match self.check_clause(solver, clause, count) {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                   up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 327 |                     let e = e.chain_err(|| format!("while checking clause {}", count));
[INFO] [stdout]     |                         -
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         `e` calls a custom destructor
[INFO] [stdout]     |                         `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 331 |         }
[INFO] [stdout]     |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/common/macros.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     ) => ({
[INFO] [stdout]     |  _________^
[INFO] [stdout] 293 | |     profile! { | $stuff $(. $prof)* | tick $($scope),+ }
[INFO] [stdout] 294 | |     let res = $b ;
[INFO] [stdout] 295 | |     profile! { | $stuff $(. $prof)* | mark $($scope),+ }
[INFO] [stdout] 296 | |     res
[INFO] [stdout] 297 | |   }) ;
[INFO] [stdout]     | |   ^
[INFO] [stdout]     | |   |
[INFO] [stdout]     | |___this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |     up until Edition 2021 `#4` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:236:19
[INFO] [stdout]     |
[INFO] [stdout] 236 |               match profile! (
[INFO] [stdout]     |  ___________________-
[INFO] [stdout] 237 | |               |self.core._profiler| wrap { self.recv() } "waiting"
[INFO] [stdout] 238 | |             ) {
[INFO] [stdout]     | |_____________- in this macro invocation
[INFO] [stdout] ...
[INFO] [stdout] 247 |                           self.solver.push(1) ? ;
[INFO] [stdout]     |                           ---------------------
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                           `#1` will be dropped later as of Edition 2024
[INFO] [stdout] 248 |                           let res = self.learn(data) ;
[INFO] [stdout]     |                               ---
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               `res` calls a custom destructor
[INFO] [stdout]     |                               `res` will be dropped later as of Edition 2024
[INFO] [stdout] 249 |                           self.solver.pop(1) ? ;
[INFO] [stdout]     |                           --------------------
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |                           `#2` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 | /                         self.send_cands(candidates)
[INFO] [stdout] 254 | |                             .chain_err(|| "while sending candidates")?;
[INFO] [stdout]     | |                                                                      -
[INFO] [stdout]     | |______________________________________________________________________|
[INFO] [stdout]     | |______________________________________________________________________this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                                                                        `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 265 | |         }
[INFO] [stdout]     | |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#4` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#2` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#3` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout]     = note: this warning originates in the macro `profile` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:551:37
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for (_, ref mut index) in argss {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 583 |                     done = map_inc!()
[INFO] [stdout]     |                            ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]     = note: `--force-warn rust-2024-incompatible-pat` implied by `--force-warn rust-2024-compatibility`
[INFO] [stdout]     = note: this warning originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for &mut (_, ref mut index) in argss {
[INFO] [stdout]     |                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]     = note: this warning originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]     = note: this warning originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1267 | /                     if_defined! {
[INFO] [stdout] 1268 | |                         pred then |def| match def.bool() {
[INFO] [stdout] 1269 | |                             Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1270 | |                             Some(false) => return TTerms::fls(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1273 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]      = note: this warning originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1292 | /                     if_defined! {
[INFO] [stdout] 1293 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1294 | |                         Some(false) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1295 | |                         Some(true) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1298 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]      = note: this warning originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1307 | /                     if_defined! {
[INFO] [stdout] 1308 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1309 | |                         Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1310 | |                         Some(false) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1313 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]      = note: this warning originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:448:31
[INFO] [stdout]     |
[INFO] [stdout] 221 |       let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |           ---------
[INFO] [stdout]     |           |
[INFO] [stdout]     |           `subst` calls a custom destructor
[INFO] [stdout]     |           `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 236 |           let result = match dwn_do(info, term)? { Some(yielded) => {
[INFO] [stdout]     |               ------         -------------------
[INFO] [stdout]     |               |              |
[INFO] [stdout]     |               |              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |               |              `#1` will be dropped later as of Edition 2024
[INFO] [stdout]     |               |              this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |               |              `#2` will be dropped later as of Edition 2024
[INFO] [stdout]     |               `result` calls a custom destructor
[INFO] [stdout]     |               `result` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 |                       yielded: nul_do(info, ZipNullary::Cst(cst))?,
[INFO] [stdout]     |                                -----------------------------------
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                                `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 398 |               ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                          --------
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                          `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                               ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                          --------
[INFO] [stdout]     |                                                          |
[INFO] [stdout]     |                                                          this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                                                          `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 448 |                           match partial(
[INFO] [stdout]     |  _______________________________^
[INFO] [stdout] 449 | |                             info,
[INFO] [stdout] 450 | |                             ZipFrame {
[INFO] [stdout] 451 | |                                 thing,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |                             },
[INFO] [stdout] 456 | |                         )? {
[INFO] [stdout]     | |                          ^
[INFO] [stdout]     | |                          |
[INFO] [stdout]     | |                          this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     | |                          up until Edition 2021 `#5` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     | |__________________________this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     |                            up until Edition 2021 `#6` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 473 |                       }
[INFO] [stdout]     |                       - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:433:31
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |         ---------
[INFO] [stdout]     |         |
[INFO] [stdout]     |         `subst` calls a custom destructor
[INFO] [stdout]     |         `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 236 |         let result = match dwn_do(info, term)? { Some(yielded) => {
[INFO] [stdout]     |             ------         -------------------
[INFO] [stdout]     |             |              |
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |             |              `#1` will be dropped later as of Edition 2024
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |             |              `#2` will be dropped later as of Edition 2024
[INFO] [stdout]     |             `result` calls a custom destructor
[INFO] [stdout]     |             `result` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 |                     yielded: nul_do(info, ZipNullary::Cst(cst))?,
[INFO] [stdout]     |                              -----------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                              `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 398 |             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                        --------
[INFO] [stdout]     |                                        |
[INFO] [stdout]     |                                        `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                        `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 433 |                         match app_do(info, thing, typ, lft_args)? {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                               up until Edition 2021 `#5` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     |                               this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     |                               up until Edition 2021 `#6` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                        --------
[INFO] [stdout]     |                                                        |
[INFO] [stdout]     |                                                        this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                                                        `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 447 |                     } else {
[INFO] [stdout]     |                     - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:413:19
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |         ---------
[INFO] [stdout]     |         |
[INFO] [stdout]     |         `subst` calls a custom destructor
[INFO] [stdout]     |         `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 413 |             match stack.pop() {
[INFO] [stdout]     |                   ^^^^^^^^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                   up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                        --------
[INFO] [stdout]     |                                                        |
[INFO] [stdout]     |                                                        `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                                        `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 476 |         }
[INFO] [stdout]     |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:413:19
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |         ---------
[INFO] [stdout]     |         |
[INFO] [stdout]     |         `subst` calls a custom destructor
[INFO] [stdout]     |         `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 236 |         let result = match dwn_do(info, term)? { Some(yielded) => {
[INFO] [stdout]     |             ------         -------------------
[INFO] [stdout]     |             |              |
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |             |              `#1` will be dropped later as of Edition 2024
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |             |              `#2` will be dropped later as of Edition 2024
[INFO] [stdout]     |             `result` calls a custom destructor
[INFO] [stdout]     |             `result` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 |                     yielded: nul_do(info, ZipNullary::Cst(cst))?,
[INFO] [stdout]     |                              -----------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                              `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 398 |             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                        --------
[INFO] [stdout]     |                                        |
[INFO] [stdout]     |                                        `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                        `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 413 |             match stack.pop() {
[INFO] [stdout]     |                   ^^^^^^^^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                   up until Edition 2021 `#5` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                        --------
[INFO] [stdout]     |                                                        |
[INFO] [stdout]     |                                                        this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                                                        `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 476 |         }
[INFO] [stdout]     |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/unsat_core/entry_points.rs:822:23
[INFO] [stdout]     |
[INFO] [stdout] 822 |                 match self.work_on_sample(sample.clone(), &to_do) {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                       up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] 823 |                     Err(e) => {
[INFO] [stdout]     |                         -
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         `e` calls a custom destructor
[INFO] [stdout]     |                         `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 838 |             }
[INFO] [stdout]     |             - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/hoice.rs:279:37
[INFO] [stdout]     |
[INFO] [stdout] 131 |           let lines_parsed = reader.read_item(buf).chain_err(|| "while reading input")?;
[INFO] [stdout]     |                              ----------------------------------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                              `#1` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 137 |           let parse_res = parser_cxt
[INFO] [stdout]     |               ---------
[INFO] [stdout]     |               |
[INFO] [stdout]     |               `parse_res` calls a custom destructor
[INFO] [stdout]     |               `parse_res` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 145 |               Err(e) => {
[INFO] [stdout]     |                   -
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   `e` calls a custom destructor
[INFO] [stdout]     |                   `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 172 | /                     old.finalize()
[INFO] [stdout] 173 | |                         .chain_err(|| "while finalizing original instance")?;
[INFO] [stdout]     | |                                                                            -
[INFO] [stdout]     | |                                                                            |
[INFO] [stdout]     | |____________________________________________________________________________this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |                                                                              `#2` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 185 |                       Err(e) => {
[INFO] [stdout]     |                           -
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                           `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 220 |                           let solve_res = split::work(&arc_instance, &profiler);
[INFO] [stdout]     |                               ---------
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               `solve_res` calls a custom destructor
[INFO] [stdout]     |                               `solve_res` will be dropped later as of Edition 2024
[INFO] [stdout] 221 |
[INFO] [stdout] 222 |                           instance = unwrap_arc(arc_instance)
[INFO] [stdout]     |  ____________________________________-
[INFO] [stdout]     | |____________________________________|
[INFO] [stdout] 223 | |                             .chain_err(|| "while trying to recover instance")?;
[INFO] [stdout]     | |                                                                              -
[INFO] [stdout]     | |______________________________________________________________________________|
[INFO] [stdout]     | |______________________________________________________________________________this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                                                                                `#5` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 279 |                       if let Err(e) = original_instance
[INFO] [stdout]     |  ________________________________-____^
[INFO] [stdout]     |  ________________________________|____|
[INFO] [stdout]     | |                                |
[INFO] [stdout]     | |                                this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     | |                                `#6` will be dropped later as of Edition 2024
[INFO] [stdout] 280 | |                         .as_ref()
[INFO] [stdout] 281 | |                         .ok_or::<Error>(
[INFO] [stdout] 282 | |                             "unable to retrieve original instance for proof reconstruction".into(),
[INFO] [stdout] ...   |
[INFO] [stdout] 287 | |                                 .chain_err(|| "while writing unsat proof")
[INFO] [stdout] 288 | |                         })
[INFO] [stdout]     | |                          ^
[INFO] [stdout]     | |__________________________|
[INFO] [stdout]     | |__________________________this value will be stored in a temporary; let us call it `#7`
[INFO] [stdout]     |                            up until Edition 2021 `#7` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 292 | |                 } else {
[INFO] [stdout]     | |                 - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/common/macros.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     ) => ({
[INFO] [stdout]     |  _________-
[INFO] [stdout] 293 | |     profile! { | $stuff $(. $prof)* | tick $($scope),+ }
[INFO] [stdout] 294 | |     let res = $b ;
[INFO] [stdout] 295 | |     profile! { | $stuff $(. $prof)* | mark $($scope),+ }
[INFO] [stdout] 296 | |     res
[INFO] [stdout] 297 | |   }) ;
[INFO] [stdout]     | |   -
[INFO] [stdout]     | |   |
[INFO] [stdout]     | |___this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |     `#3` will be dropped later as of Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#7` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `parse_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#2` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#3` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#4` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `solve_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#5` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#6` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/hoice.rs:293:32
[INFO] [stdout]     |
[INFO] [stdout] 131 |           let lines_parsed = reader.read_item(buf).chain_err(|| "while reading input")?;
[INFO] [stdout]     |                              ----------------------------------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                              `#1` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 137 |           let parse_res = parser_cxt
[INFO] [stdout]     |               ---------
[INFO] [stdout]     |               |
[INFO] [stdout]     |               `parse_res` calls a custom destructor
[INFO] [stdout]     |               `parse_res` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 145 |               Err(e) => {
[INFO] [stdout]     |                   -
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   `e` calls a custom destructor
[INFO] [stdout]     |                   `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 172 | /                     old.finalize()
[INFO] [stdout] 173 | |                         .chain_err(|| "while finalizing original instance")?;
[INFO] [stdout]     | |                                                                            -
[INFO] [stdout]     | |                                                                            |
[INFO] [stdout]     | |____________________________________________________________________________this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |                                                                              `#2` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 185 |                       Err(e) => {
[INFO] [stdout]     |                           -
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                           `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 220 |                           let solve_res = split::work(&arc_instance, &profiler);
[INFO] [stdout]     |                               ---------
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               `solve_res` calls a custom destructor
[INFO] [stdout]     |                               `solve_res` will be dropped later as of Edition 2024
[INFO] [stdout] 221 |
[INFO] [stdout] 222 |                           instance = unwrap_arc(arc_instance)
[INFO] [stdout]     |  ____________________________________-
[INFO] [stdout]     | |____________________________________|
[INFO] [stdout] 223 | |                             .chain_err(|| "while trying to recover instance")?;
[INFO] [stdout]     | |                                                                              -
[INFO] [stdout]     | |______________________________________________________________________________|
[INFO] [stdout]     | |______________________________________________________________________________this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                                                                                `#5` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 279 | |                     if let Err(e) = original_instance
[INFO] [stdout]     | |                                -
[INFO] [stdout]     | |                                |
[INFO] [stdout]     | |                                this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     | |                                `#6` will be dropped later as of Edition 2024
[INFO] [stdout] ...   |
[INFO] [stdout] 293 | |                     print_err(&"no unsat proof available".into())
[INFO] [stdout]     | |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     | |                                |
[INFO] [stdout]     | |                                this value will be stored in a temporary; let us call it `#7`
[INFO] [stdout]     | |                                up until Edition 2021 `#7` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] 294 | |                 }
[INFO] [stdout]     | |                 - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/common/macros.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     ) => ({
[INFO] [stdout]     |  _________-
[INFO] [stdout] 293 | |     profile! { | $stuff $(. $prof)* | tick $($scope),+ }
[INFO] [stdout] 294 | |     let res = $b ;
[INFO] [stdout] 295 | |     profile! { | $stuff $(. $prof)* | mark $($scope),+ }
[INFO] [stdout] 296 | |     res
[INFO] [stdout] 297 | |   }) ;
[INFO] [stdout]     | |   -
[INFO] [stdout]     | |   |
[INFO] [stdout]     | |___this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |     `#3` will be dropped later as of Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#7` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `parse_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#2` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#3` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#4` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `solve_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#5` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#6` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:407:12
[INFO] [stdout]     |
[INFO] [stdout] 407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]     |                                   |
[INFO] [stdout]     |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:567:5
[INFO] [stdout]     |
[INFO] [stdout] 567 | /     preproc_dump!(
[INFO] [stdout] 568 | |         instance =>
[INFO] [stdout] 569 | |             format!("preproc_{:0>4}_original_instance", count),
[INFO] [stdout] 570 | |             "Instance before pre-processing."
[INFO] [stdout] 571 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]    --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |           } else {
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:567:5
[INFO] [stdout]     |
[INFO] [stdout] 567 | /     preproc_dump!(
[INFO] [stdout] 568 | |         instance =>
[INFO] [stdout] 569 | |             format!("preproc_{:0>4}_original_instance", count),
[INFO] [stdout] 570 | |             "Instance before pre-processing."
[INFO] [stdout] 571 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]     = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility`
[INFO] [stdout]     = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:407:12
[INFO] [stdout]     |
[INFO] [stdout] 407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]     |                                   |
[INFO] [stdout]     |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:627:5
[INFO] [stdout]     |
[INFO] [stdout] 627 | /     preproc_dump!(
[INFO] [stdout] 628 | |       instance =>
[INFO] [stdout] 629 | |       format!("preproc_{:0>4}_{}", count, preproc),
[INFO] [stdout] 630 | |       format!("Instance after running `{}`.", preproc)
[INFO] [stdout] 631 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]    --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |           } else {
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:627:5
[INFO] [stdout]     |
[INFO] [stdout] 627 | /     preproc_dump!(
[INFO] [stdout] 628 | |       instance =>
[INFO] [stdout] 629 | |       format!("preproc_{:0>4}_{}", count, preproc),
[INFO] [stdout] 630 | |       format!("Instance after running `{}`.", preproc)
[INFO] [stdout] 631 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]     = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:407:12
[INFO] [stdout]     |
[INFO] [stdout] 407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]     |                                   |
[INFO] [stdout]     |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:661:5
[INFO] [stdout]     |
[INFO] [stdout] 661 | /     preproc_dump!(
[INFO] [stdout] 662 | |       instance =>
[INFO] [stdout] 663 | |         "preproc_0000_fixed_point",
[INFO] [stdout] 664 | |         "Instance after reaching preproc fixed-point."
[INFO] [stdout] 665 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]    --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |           } else {
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:661:5
[INFO] [stdout]     |
[INFO] [stdout] 661 | /     preproc_dump!(
[INFO] [stdout] 662 | |       instance =>
[INFO] [stdout] 663 | |         "preproc_0000_fixed_point",
[INFO] [stdout] 664 | |         "Instance after reaching preproc fixed-point."
[INFO] [stdout] 665 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]     = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]     --> src/common/macros.rs:407:12
[INFO] [stdout]      |
[INFO] [stdout]  407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]      |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]      |                                   |
[INFO] [stdout]      |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/preproc/cfg_red.rs:1218:13
[INFO] [stdout]      |
[INFO] [stdout] 1218 | /             preproc_dump!(
[INFO] [stdout] 1219 | |               instance =>
[INFO] [stdout] 1220 | |                 format!("after_force_dnf_left_on_{}", pred),
[INFO] [stdout] 1221 | |                 "Instance after reaching preproc fixed-point."
[INFO] [stdout] 1222 | |             )?;
[INFO] [stdout]      | |_____________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]     --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]     --> src/common/macros.rs:409:9
[INFO] [stdout]      |
[INFO] [stdout]  409 |           } else {
[INFO] [stdout]      |           ^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/preproc/cfg_red.rs:1218:13
[INFO] [stdout]      |
[INFO] [stdout] 1218 | /             preproc_dump!(
[INFO] [stdout] 1219 | |               instance =>
[INFO] [stdout] 1220 | |                 format!("after_force_dnf_left_on_{}", pred),
[INFO] [stdout] 1221 | |                 "Instance after reaching preproc fixed-point."
[INFO] [stdout] 1222 | |             )?;
[INFO] [stdout]      | |_____________- in this macro invocation
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]      = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/common.rs:837:37
[INFO] [stdout]     |
[INFO] [stdout] 836 |             'find_next: while let Some((_, mut curr)) = current.pop() {
[INFO] [stdout]     |                                            --------
[INFO] [stdout]     |                                            |
[INFO] [stdout]     |                                            `curr` calls a custom destructor
[INFO] [stdout]     |                                            `curr` will be dropped later as of Edition 2024
[INFO] [stdout] 837 |                 if let Some(next) = curr.next() {
[INFO] [stdout]     |                                     ^^^^^^^^^^^
[INFO] [stdout]     |                                     |
[INFO] [stdout]     |                                     this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                                     up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 852 |             }
[INFO] [stdout]     |             - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout]     = note: `--force-warn tail-expr-drop-order` implied by `--force-warn rust-2024-compatibility`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/common.rs:836:57
[INFO] [stdout]     |
[INFO] [stdout] 836 |             'find_next: while let Some((_, mut curr)) = current.pop() {
[INFO] [stdout]     |                                            --------     ^^^^^^^^^^^^^
[INFO] [stdout]     |                                            |            |
[INFO] [stdout]     |                                            |            this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                                            |            up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     |                                            `curr` calls a custom destructor
[INFO] [stdout]     |                                            `curr` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 852 |             }
[INFO] [stdout]     |             - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/check.rs:322:19
[INFO] [stdout]     |
[INFO] [stdout] 322 |             match self.check_clause(solver, clause, count) {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                   up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 327 |                     let e = e.chain_err(|| format!("while checking clause {}", count));
[INFO] [stdout]     |                         -
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         `e` calls a custom destructor
[INFO] [stdout]     |                         `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 331 |         }
[INFO] [stdout]     |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/common/macros.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     ) => ({
[INFO] [stdout]     |  _________^
[INFO] [stdout] 293 | |     profile! { | $stuff $(. $prof)* | tick $($scope),+ }
[INFO] [stdout] 294 | |     let res = $b ;
[INFO] [stdout] 295 | |     profile! { | $stuff $(. $prof)* | mark $($scope),+ }
[INFO] [stdout] 296 | |     res
[INFO] [stdout] 297 | |   }) ;
[INFO] [stdout]     | |   ^
[INFO] [stdout]     | |   |
[INFO] [stdout]     | |___this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |     up until Edition 2021 `#4` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/learning/ice.rs:236:19
[INFO] [stdout]     |
[INFO] [stdout] 236 |               match profile! (
[INFO] [stdout]     |  ___________________-
[INFO] [stdout] 237 | |               |self.core._profiler| wrap { self.recv() } "waiting"
[INFO] [stdout] 238 | |             ) {
[INFO] [stdout]     | |_____________- in this macro invocation
[INFO] [stdout] ...
[INFO] [stdout] 247 |                           self.solver.push(1) ? ;
[INFO] [stdout]     |                           ---------------------
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                           `#1` will be dropped later as of Edition 2024
[INFO] [stdout] 248 |                           let res = self.learn(data) ;
[INFO] [stdout]     |                               ---
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               `res` calls a custom destructor
[INFO] [stdout]     |                               `res` will be dropped later as of Edition 2024
[INFO] [stdout] 249 |                           self.solver.pop(1) ? ;
[INFO] [stdout]     |                           --------------------
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |                           `#2` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 | /                         self.send_cands(candidates)
[INFO] [stdout] 254 | |                             .chain_err(|| "while sending candidates")?;
[INFO] [stdout]     | |                                                                      -
[INFO] [stdout]     | |______________________________________________________________________|
[INFO] [stdout]     | |______________________________________________________________________this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                                                                        `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 265 | |         }
[INFO] [stdout]     | |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#4` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#2` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#3` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout]     = note: this warning originates in the macro `profile` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:551:37
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for (_, ref mut index) in argss {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 583 |                     done = map_inc!()
[INFO] [stdout]     |                            ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]     = note: `--force-warn rust-2024-incompatible-pat` implied by `--force-warn rust-2024-compatibility`
[INFO] [stdout]     = note: this warning originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for &mut (_, ref mut index) in argss {
[INFO] [stdout]     |                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]     = note: this warning originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]     = note: this warning originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1267 | /                     if_defined! {
[INFO] [stdout] 1268 | |                         pred then |def| match def.bool() {
[INFO] [stdout] 1269 | |                             Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1270 | |                             Some(false) => return TTerms::fls(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1273 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]      = note: this warning originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1292 | /                     if_defined! {
[INFO] [stdout] 1293 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1294 | |                         Some(false) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1295 | |                         Some(true) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1298 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]      = note: this warning originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: cannot explicitly borrow within an implicitly-borrowing pattern in Rust 2024
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1307 | /                     if_defined! {
[INFO] [stdout] 1308 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1309 | |                         Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1310 | |                         Some(false) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1313 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/match-ergonomics.html>
[INFO] [stdout]      = note: this warning originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:448:31
[INFO] [stdout]     |
[INFO] [stdout] 221 |       let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |           ---------
[INFO] [stdout]     |           |
[INFO] [stdout]     |           `subst` calls a custom destructor
[INFO] [stdout]     |           `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 236 |           let result = match dwn_do(info, term)? { Some(yielded) => {
[INFO] [stdout]     |               ------         -------------------
[INFO] [stdout]     |               |              |
[INFO] [stdout]     |               |              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |               |              `#1` will be dropped later as of Edition 2024
[INFO] [stdout]     |               |              this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |               |              `#2` will be dropped later as of Edition 2024
[INFO] [stdout]     |               `result` calls a custom destructor
[INFO] [stdout]     |               `result` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 |                       yielded: nul_do(info, ZipNullary::Cst(cst))?,
[INFO] [stdout]     |                                -----------------------------------
[INFO] [stdout]     |                                |
[INFO] [stdout]     |                                this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                                `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 398 |               ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                          --------
[INFO] [stdout]     |                                          |
[INFO] [stdout]     |                                          `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                          `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                               ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                          --------
[INFO] [stdout]     |                                                          |
[INFO] [stdout]     |                                                          this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                                                          `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 448 |                           match partial(
[INFO] [stdout]     |  _______________________________^
[INFO] [stdout] 449 | |                             info,
[INFO] [stdout] 450 | |                             ZipFrame {
[INFO] [stdout] 451 | |                                 thing,
[INFO] [stdout] ...   |
[INFO] [stdout] 455 | |                             },
[INFO] [stdout] 456 | |                         )? {
[INFO] [stdout]     | |                          ^
[INFO] [stdout]     | |                          |
[INFO] [stdout]     | |                          this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     | |                          up until Edition 2021 `#5` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     | |__________________________this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     |                            up until Edition 2021 `#6` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 473 |                       }
[INFO] [stdout]     |                       - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:433:31
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |         ---------
[INFO] [stdout]     |         |
[INFO] [stdout]     |         `subst` calls a custom destructor
[INFO] [stdout]     |         `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 236 |         let result = match dwn_do(info, term)? { Some(yielded) => {
[INFO] [stdout]     |             ------         -------------------
[INFO] [stdout]     |             |              |
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |             |              `#1` will be dropped later as of Edition 2024
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |             |              `#2` will be dropped later as of Edition 2024
[INFO] [stdout]     |             `result` calls a custom destructor
[INFO] [stdout]     |             `result` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 |                     yielded: nul_do(info, ZipNullary::Cst(cst))?,
[INFO] [stdout]     |                              -----------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                              `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 398 |             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                        --------
[INFO] [stdout]     |                                        |
[INFO] [stdout]     |                                        `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                        `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 433 |                         match app_do(info, thing, typ, lft_args)? {
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                               up until Edition 2021 `#5` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout]     |                               this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     |                               up until Edition 2021 `#6` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                        --------
[INFO] [stdout]     |                                                        |
[INFO] [stdout]     |                                                        this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                                                        `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 447 |                     } else {
[INFO] [stdout]     |                     - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:413:19
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |         ---------
[INFO] [stdout]     |         |
[INFO] [stdout]     |         `subst` calls a custom destructor
[INFO] [stdout]     |         `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 413 |             match stack.pop() {
[INFO] [stdout]     |                   ^^^^^^^^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                   up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                        --------
[INFO] [stdout]     |                                                        |
[INFO] [stdout]     |                                                        `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                                        `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 476 |         }
[INFO] [stdout]     |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/term/zip.rs:413:19
[INFO] [stdout]     |
[INFO] [stdout] 221 |     let mut subst: Option<VarMap<Yield>> = None;
[INFO] [stdout]     |         ---------
[INFO] [stdout]     |         |
[INFO] [stdout]     |         `subst` calls a custom destructor
[INFO] [stdout]     |         `subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 236 |         let result = match dwn_do(info, term)? { Some(yielded) => {
[INFO] [stdout]     |             ------         -------------------
[INFO] [stdout]     |             |              |
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |             |              `#1` will be dropped later as of Edition 2024
[INFO] [stdout]     |             |              this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |             |              `#2` will be dropped later as of Edition 2024
[INFO] [stdout]     |             `result` calls a custom destructor
[INFO] [stdout]     |             `result` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 253 |                     yielded: nul_do(info, ZipNullary::Cst(cst))?,
[INFO] [stdout]     |                              -----------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |                              `#3` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 398 |             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                        --------
[INFO] [stdout]     |                                        |
[INFO] [stdout]     |                                        `nu_subst` calls a custom destructor
[INFO] [stdout]     |                                        `nu_subst` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 413 |             match stack.pop() {
[INFO] [stdout]     |                   ^^^^^^^^^^^
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                   up until Edition 2021 `#5` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 439 |                             ZipDoTotal::Dwn { nu_term, nu_subst } => {
[INFO] [stdout]     |                                                        --------
[INFO] [stdout]     |                                                        |
[INFO] [stdout]     |                                                        this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                                                        `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 476 |         }
[INFO] [stdout]     |         - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/unsat_core/entry_points.rs:822:23
[INFO] [stdout]     |
[INFO] [stdout] 822 |                 match self.work_on_sample(sample.clone(), &to_do) {
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                       up until Edition 2021 `#1` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] 823 |                     Err(e) => {
[INFO] [stdout]     |                         -
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         `e` calls a custom destructor
[INFO] [stdout]     |                         `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 838 |             }
[INFO] [stdout]     |             - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/hoice.rs:279:37
[INFO] [stdout]     |
[INFO] [stdout] 131 |           let lines_parsed = reader.read_item(buf).chain_err(|| "while reading input")?;
[INFO] [stdout]     |                              ----------------------------------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                              `#1` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 137 |           let parse_res = parser_cxt
[INFO] [stdout]     |               ---------
[INFO] [stdout]     |               |
[INFO] [stdout]     |               `parse_res` calls a custom destructor
[INFO] [stdout]     |               `parse_res` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 145 |               Err(e) => {
[INFO] [stdout]     |                   -
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   `e` calls a custom destructor
[INFO] [stdout]     |                   `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 172 | /                     old.finalize()
[INFO] [stdout] 173 | |                         .chain_err(|| "while finalizing original instance")?;
[INFO] [stdout]     | |                                                                            -
[INFO] [stdout]     | |                                                                            |
[INFO] [stdout]     | |____________________________________________________________________________this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |                                                                              `#2` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 185 |                       Err(e) => {
[INFO] [stdout]     |                           -
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                           `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 220 |                           let solve_res = split::work(&arc_instance, &profiler);
[INFO] [stdout]     |                               ---------
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               `solve_res` calls a custom destructor
[INFO] [stdout]     |                               `solve_res` will be dropped later as of Edition 2024
[INFO] [stdout] 221 |
[INFO] [stdout] 222 |                           instance = unwrap_arc(arc_instance)
[INFO] [stdout]     |  ____________________________________-
[INFO] [stdout]     | |____________________________________|
[INFO] [stdout] 223 | |                             .chain_err(|| "while trying to recover instance")?;
[INFO] [stdout]     | |                                                                              -
[INFO] [stdout]     | |______________________________________________________________________________|
[INFO] [stdout]     | |______________________________________________________________________________this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                                                                                `#5` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 279 |                       if let Err(e) = original_instance
[INFO] [stdout]     |  ________________________________-____^
[INFO] [stdout]     |  ________________________________|____|
[INFO] [stdout]     | |                                |
[INFO] [stdout]     | |                                this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     | |                                `#6` will be dropped later as of Edition 2024
[INFO] [stdout] 280 | |                         .as_ref()
[INFO] [stdout] 281 | |                         .ok_or::<Error>(
[INFO] [stdout] 282 | |                             "unable to retrieve original instance for proof reconstruction".into(),
[INFO] [stdout] ...   |
[INFO] [stdout] 287 | |                                 .chain_err(|| "while writing unsat proof")
[INFO] [stdout] 288 | |                         })
[INFO] [stdout]     | |                          ^
[INFO] [stdout]     | |__________________________|
[INFO] [stdout]     | |__________________________this value will be stored in a temporary; let us call it `#7`
[INFO] [stdout]     |                            up until Edition 2021 `#7` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 292 | |                 } else {
[INFO] [stdout]     | |                 - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/common/macros.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     ) => ({
[INFO] [stdout]     |  _________-
[INFO] [stdout] 293 | |     profile! { | $stuff $(. $prof)* | tick $($scope),+ }
[INFO] [stdout] 294 | |     let res = $b ;
[INFO] [stdout] 295 | |     profile! { | $stuff $(. $prof)* | mark $($scope),+ }
[INFO] [stdout] 296 | |     res
[INFO] [stdout] 297 | |   }) ;
[INFO] [stdout]     | |   -
[INFO] [stdout]     | |   |
[INFO] [stdout]     | |___this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |     `#3` will be dropped later as of Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#7` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `parse_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#2` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#3` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#4` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `solve_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#5` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#6` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: relative drop order changing in Rust 2024
[INFO] [stdout]    --> src/hoice.rs:293:32
[INFO] [stdout]     |
[INFO] [stdout] 131 |           let lines_parsed = reader.read_item(buf).chain_err(|| "while reading input")?;
[INFO] [stdout]     |                              ----------------------------------------------------------
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              this value will be stored in a temporary; let us call it `#1`
[INFO] [stdout]     |                              `#1` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 137 |           let parse_res = parser_cxt
[INFO] [stdout]     |               ---------
[INFO] [stdout]     |               |
[INFO] [stdout]     |               `parse_res` calls a custom destructor
[INFO] [stdout]     |               `parse_res` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 145 |               Err(e) => {
[INFO] [stdout]     |                   -
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   `e` calls a custom destructor
[INFO] [stdout]     |                   `e` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 172 | /                     old.finalize()
[INFO] [stdout] 173 | |                         .chain_err(|| "while finalizing original instance")?;
[INFO] [stdout]     | |                                                                            -
[INFO] [stdout]     | |                                                                            |
[INFO] [stdout]     | |____________________________________________________________________________this value will be stored in a temporary; let us call it `#2`
[INFO] [stdout]     |                                                                              `#2` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 185 |                       Err(e) => {
[INFO] [stdout]     |                           -
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           this value will be stored in a temporary; let us call it `#4`
[INFO] [stdout]     |                           `#4` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 220 |                           let solve_res = split::work(&arc_instance, &profiler);
[INFO] [stdout]     |                               ---------
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               `solve_res` calls a custom destructor
[INFO] [stdout]     |                               `solve_res` will be dropped later as of Edition 2024
[INFO] [stdout] 221 |
[INFO] [stdout] 222 |                           instance = unwrap_arc(arc_instance)
[INFO] [stdout]     |  ____________________________________-
[INFO] [stdout]     | |____________________________________|
[INFO] [stdout] 223 | |                             .chain_err(|| "while trying to recover instance")?;
[INFO] [stdout]     | |                                                                              -
[INFO] [stdout]     | |______________________________________________________________________________|
[INFO] [stdout]     | |______________________________________________________________________________this value will be stored in a temporary; let us call it `#5`
[INFO] [stdout]     |                                                                                `#5` will be dropped later as of Edition 2024
[INFO] [stdout] ...
[INFO] [stdout] 279 | |                     if let Err(e) = original_instance
[INFO] [stdout]     | |                                -
[INFO] [stdout]     | |                                |
[INFO] [stdout]     | |                                this value will be stored in a temporary; let us call it `#6`
[INFO] [stdout]     | |                                `#6` will be dropped later as of Edition 2024
[INFO] [stdout] ...   |
[INFO] [stdout] 293 | |                     print_err(&"no unsat proof available".into())
[INFO] [stdout]     | |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     | |                                |
[INFO] [stdout]     | |                                this value will be stored in a temporary; let us call it `#7`
[INFO] [stdout]     | |                                up until Edition 2021 `#7` is dropped last but will be dropped earlier in Edition 2024
[INFO] [stdout] 294 | |                 }
[INFO] [stdout]     | |                 - now the temporary value is dropped here, before the local variables in the block or statement
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/common/macros.rs:292:9
[INFO] [stdout]     |
[INFO] [stdout] 292 |     ) => ({
[INFO] [stdout]     |  _________-
[INFO] [stdout] 293 | |     profile! { | $stuff $(. $prof)* | tick $($scope),+ }
[INFO] [stdout] 294 | |     let res = $b ;
[INFO] [stdout] 295 | |     profile! { | $stuff $(. $prof)* | mark $($scope),+ }
[INFO] [stdout] 296 | |     res
[INFO] [stdout] 297 | |   }) ;
[INFO] [stdout]     | |   -
[INFO] [stdout]     | |   |
[INFO] [stdout]     | |___this value will be stored in a temporary; let us call it `#3`
[INFO] [stdout]     |     `#3` will be dropped later as of Edition 2024
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#7` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#1` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `parse_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `e` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#2` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#3` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#4` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `solve_res` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#5` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: `#6` may invoke a custom destructor because it contains a trait object
[INFO] [stdout]     = note: most of the time, changing drop order is harmless; inspect the `impl Drop`s for side effects like releasing locks or sending messages
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-tail-expr-scope.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:407:12
[INFO] [stdout]     |
[INFO] [stdout] 407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]     |                                   |
[INFO] [stdout]     |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:567:5
[INFO] [stdout]     |
[INFO] [stdout] 567 | /     preproc_dump!(
[INFO] [stdout] 568 | |         instance =>
[INFO] [stdout] 569 | |             format!("preproc_{:0>4}_original_instance", count),
[INFO] [stdout] 570 | |             "Instance before pre-processing."
[INFO] [stdout] 571 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]    --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |           } else {
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:567:5
[INFO] [stdout]     |
[INFO] [stdout] 567 | /     preproc_dump!(
[INFO] [stdout] 568 | |         instance =>
[INFO] [stdout] 569 | |             format!("preproc_{:0>4}_original_instance", count),
[INFO] [stdout] 570 | |             "Instance before pre-processing."
[INFO] [stdout] 571 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]     = note: `--force-warn if-let-rescope` implied by `--force-warn rust-2024-compatibility`
[INFO] [stdout]     = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:407:12
[INFO] [stdout]     |
[INFO] [stdout] 407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]     |                                   |
[INFO] [stdout]     |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:627:5
[INFO] [stdout]     |
[INFO] [stdout] 627 | /     preproc_dump!(
[INFO] [stdout] 628 | |       instance =>
[INFO] [stdout] 629 | |       format!("preproc_{:0>4}_{}", count, preproc),
[INFO] [stdout] 630 | |       format!("Instance after running `{}`.", preproc)
[INFO] [stdout] 631 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]    --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |           } else {
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:627:5
[INFO] [stdout]     |
[INFO] [stdout] 627 | /     preproc_dump!(
[INFO] [stdout] 628 | |       instance =>
[INFO] [stdout] 629 | |       format!("preproc_{:0>4}_{}", count, preproc),
[INFO] [stdout] 630 | |       format!("Instance after running `{}`.", preproc)
[INFO] [stdout] 631 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]     = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:407:12
[INFO] [stdout]     |
[INFO] [stdout] 407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]     |                                   |
[INFO] [stdout]     |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:661:5
[INFO] [stdout]     |
[INFO] [stdout] 661 | /     preproc_dump!(
[INFO] [stdout] 662 | |       instance =>
[INFO] [stdout] 663 | |         "preproc_0000_fixed_point",
[INFO] [stdout] 664 | |         "Instance after reaching preproc fixed-point."
[INFO] [stdout] 665 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]    --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]    --> src/common/macros.rs:409:9
[INFO] [stdout]     |
[INFO] [stdout] 409 |           } else {
[INFO] [stdout]     |           ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/preproc/utils.rs:661:5
[INFO] [stdout]     |
[INFO] [stdout] 661 | /     preproc_dump!(
[INFO] [stdout] 662 | |       instance =>
[INFO] [stdout] 663 | |         "preproc_0000_fixed_point",
[INFO] [stdout] 664 | |         "Instance after reaching preproc fixed-point."
[INFO] [stdout] 665 | |     )?;
[INFO] [stdout]     | |_____- in this macro invocation
[INFO] [stdout]     = warning: this changes meaning in Rust 2024
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]     = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `if let` assigns a shorter lifetime since Edition 2024
[INFO] [stdout]     --> src/common/macros.rs:407:12
[INFO] [stdout]      |
[INFO] [stdout]  407 |           if let Some(mut file) = conf.preproc.instance_log_file($file, &$instance)? {
[INFO] [stdout]      |              ^^^^^^^^^^^^^^^^^^^^^--------------------------------------------------
[INFO] [stdout]      |                                   |
[INFO] [stdout]      |                                   this value has a significant drop implementation which may observe a major change in drop order and requires your discretion
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/preproc/cfg_red.rs:1218:13
[INFO] [stdout]      |
[INFO] [stdout] 1218 | /             preproc_dump!(
[INFO] [stdout] 1219 | |               instance =>
[INFO] [stdout] 1220 | |                 format!("after_force_dnf_left_on_{}", pred),
[INFO] [stdout] 1221 | |                 "Instance after reaching preproc fixed-point."
[INFO] [stdout] 1222 | |             )?;
[INFO] [stdout]      | |_____________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout] note: value invokes this custom destructor
[INFO] [stdout]     --> /rustc/622891a4e29178280638a6b63a8908bde2c0c854/library/std/src/os/fd/owned.rs:196:0
[INFO] [stdout] help: the value is now dropped here in Edition 2024
[INFO] [stdout]     --> src/common/macros.rs:409:9
[INFO] [stdout]      |
[INFO] [stdout]  409 |           } else {
[INFO] [stdout]      |           ^
[INFO] [stdout]      |
[INFO] [stdout]     ::: src/preproc/cfg_red.rs:1218:13
[INFO] [stdout]      |
[INFO] [stdout] 1218 | /             preproc_dump!(
[INFO] [stdout] 1219 | |               instance =>
[INFO] [stdout] 1220 | |                 format!("after_force_dnf_left_on_{}", pred),
[INFO] [stdout] 1221 | |                 "Instance after reaching preproc fixed-point."
[INFO] [stdout] 1222 | |             )?;
[INFO] [stdout]      | |_____________- in this macro invocation
[INFO] [stdout]      = warning: this changes meaning in Rust 2024
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html>
[INFO] [stdout]      = note: this warning originates in the macro `preproc_dump` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Migrating src/bin/main.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed src/bin/main.rs (1 fix)
[INFO] [stderr]    Migrating tests/tests.rs from 2021 edition to 2024
[INFO] [stderr]        Fixed tests/tests.rs (4 fixes)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.75s
[INFO] [stderr] crater-edition-check: hoice v1.10.0 (/opt/rustwide/workdir) updating edition from 2021 to 2024
[INFO] [stderr]     Checking hoice v1.10.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common.rs:353:12
[INFO] [stdout]     |
[INFO] [stdout] 353 | #[cfg_attr(feature = "cargo-clippy", allow(len_without_is_empty))]
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common.rs:378:12
[INFO] [stdout]     |
[INFO] [stdout] 378 | #[cfg_attr(feature = "cargo-clippy", allow(len_without_is_empty))]
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]     --> src/common/config.rs:1595:12
[INFO] [stdout]      |
[INFO] [stdout] 1595 | #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `bench`
[INFO] [stdout]      = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]     --> src/common/config.rs:1605:12
[INFO] [stdout]      |
[INFO] [stdout] 1605 | #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `bench`
[INFO] [stdout]      = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]     --> src/common/config.rs:1624:12
[INFO] [stdout]      |
[INFO] [stdout] 1624 | #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `bench`
[INFO] [stdout]      = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]   --> src/common/profiling.rs:55:16
[INFO] [stdout]    |
[INFO] [stdout] 55 |     #[cfg_attr(feature = "cargo-clippy", allow(print_literal))]
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `bench`
[INFO] [stdout]    = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common/profiling.rs:197:16
[INFO] [stdout]     |
[INFO] [stdout] 197 |     #[cfg_attr(feature = "cargo-clippy", allow(print_literal))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common/profiling.rs:355:16
[INFO] [stdout]     |
[INFO] [stdout] 355 |     #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `has_error_description_deprecated`
[INFO] [stdout]    --> src/errors.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | / error_chain::error_chain! {
[INFO] [stdout] 125 | |     types {
[INFO] [stdout] 126 | |         Error, ErrorKind, ResultExt, Res ;
[INFO] [stdout] ...   |
[INFO] [stdout] 176 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = help: expected names are: `docsrs`, `feature`, and `test` and 32 more
[INFO] [stdout]     = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]     = help: try referring to `impl_error_chain_processed` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `impl_error_chain_processed` which comes from the expansion of the macro `error_chain::error_chain` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/instance/clause.rs:256:16
[INFO] [stdout]     |
[INFO] [stdout] 256 |     #[cfg_attr(feature = "cargo-clippy", allow(block_in_if_condition_stmt))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/instance/pre_instance.rs:736:16
[INFO] [stdout]     |
[INFO] [stdout] 736 |     #[cfg_attr(feature = "cargo-clippy", allow(wrong_self_convention))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `*`
[INFO] [stdout]   --> src/unsat_core/sample_graph.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         *,
[INFO] [stdout]    |         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common.rs:353:12
[INFO] [stdout]     |
[INFO] [stdout] 353 | #[cfg_attr(feature = "cargo-clippy", allow(len_without_is_empty))]
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common.rs:378:12
[INFO] [stdout]     |
[INFO] [stdout] 378 | #[cfg_attr(feature = "cargo-clippy", allow(len_without_is_empty))]
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]     --> src/common/config.rs:1595:12
[INFO] [stdout]      |
[INFO] [stdout] 1595 | #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `bench`
[INFO] [stdout]      = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]     --> src/common/config.rs:1605:12
[INFO] [stdout]      |
[INFO] [stdout] 1605 | #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `bench`
[INFO] [stdout]      = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]     --> src/common/config.rs:1624:12
[INFO] [stdout]      |
[INFO] [stdout] 1624 | #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]      |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: expected values for `feature` are: `bench`
[INFO] [stdout]      = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]      = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]   --> src/common/profiling.rs:55:16
[INFO] [stdout]    |
[INFO] [stdout] 55 |     #[cfg_attr(feature = "cargo-clippy", allow(print_literal))]
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected values for `feature` are: `bench`
[INFO] [stdout]    = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common/profiling.rs:197:16
[INFO] [stdout]     |
[INFO] [stdout] 197 |     #[cfg_attr(feature = "cargo-clippy", allow(print_literal))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/common/profiling.rs:355:16
[INFO] [stdout]     |
[INFO] [stdout] 355 |     #[cfg_attr(feature = "cargo-clippy", allow(needless_pass_by_value))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `has_error_description_deprecated`
[INFO] [stdout]    --> src/errors.rs:124:1
[INFO] [stdout]     |
[INFO] [stdout] 124 | / error_chain::error_chain! {
[INFO] [stdout] 125 | |     types {
[INFO] [stdout] 126 | |         Error, ErrorKind, ResultExt, Res ;
[INFO] [stdout] ...   |
[INFO] [stdout] 176 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = help: expected names are: `docsrs`, `feature`, and `test` and 32 more
[INFO] [stdout]     = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate
[INFO] [stdout]     = help: try referring to `impl_error_chain_processed` crate for guidance on how handle this unexpected cfg
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: this warning originates in the macro `impl_error_chain_processed` which comes from the expansion of the macro `error_chain::error_chain` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/instance/clause.rs:256:16
[INFO] [stdout]     |
[INFO] [stdout] 256 |     #[cfg_attr(feature = "cargo-clippy", allow(block_in_if_condition_stmt))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition value: `cargo-clippy`
[INFO] [stdout]    --> src/instance/pre_instance.rs:736:16
[INFO] [stdout]     |
[INFO] [stdout] 736 |     #[cfg_attr(feature = "cargo-clippy", allow(wrong_self_convention))]
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected values for `feature` are: `bench`
[INFO] [stdout]     = help: consider adding `cargo-clippy` as a feature in `Cargo.toml`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `*`
[INFO] [stdout]   --> src/unsat_core/sample_graph.rs:12:9
[INFO] [stdout]    |
[INFO] [stdout] 12 |         *,
[INFO] [stdout]    |         ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:551:37
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for (_, ref mut index) in argss {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 583 |                     done = map_inc!()
[INFO] [stdout]     |                            ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]     = note: this error originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for &mut (_, ref mut index) in argss {
[INFO] [stdout]     |                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]     = note: this error originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]     = note: this error originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:551:37
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for (_, ref mut index) in argss {
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 583 |                     done = map_inc!()
[INFO] [stdout]     |                            ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]     = note: this error originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 551 |                             for &mut (_, ref mut index) in argss {
[INFO] [stdout]     |                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]     = note: this error originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]    --> src/preproc/bias_unroll.rs:697:25
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for (_, ref mut index) in $argss {
[INFO] [stdout]     |                         ^^^^^^^^^^^^^ occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 753 |             done = map_inc!()
[INFO] [stdout]     |                    ---------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]     = note: this error originates in the macro `map_inc` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]     |
[INFO] [stdout] 697 |                 for &mut (_, ref mut index) in $argss {
[INFO] [stdout]     |                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1267 | /                     if_defined! {
[INFO] [stdout] 1268 | |                         pred then |def| match def.bool() {
[INFO] [stdout] 1269 | |                             Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1270 | |                             Some(false) => return TTerms::fls(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1273 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]      = note: this error originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1292 | /                     if_defined! {
[INFO] [stdout] 1293 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1294 | |                         Some(false) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1295 | |                         Some(true) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1298 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]      = note: this error originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1307 | /                     if_defined! {
[INFO] [stdout] 1308 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1309 | |                         Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1310 | |                         Some(false) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1313 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]      = note: this error originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1267 | /                     if_defined! {
[INFO] [stdout] 1268 | |                         pred then |def| match def.bool() {
[INFO] [stdout] 1269 | |                             Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1270 | |                             Some(false) => return TTerms::fls(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1273 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]      = note: this error originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1292 | /                     if_defined! {
[INFO] [stdout] 1293 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1294 | |                         Some(false) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1295 | |                         Some(true) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1298 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]      = note: this error originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot explicitly borrow within an implicitly-borrowing pattern
[INFO] [stdout]     --> src/term/tterms.rs:1250:26
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                       for (ref idx, ref $def) in model {
[INFO] [stdout]      |                            ^^^^^^^  ^^^^^^^^ occurs within macro expansion
[INFO] [stdout]      |                            |
[INFO] [stdout]      |                            occurs within macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 1307 | /                     if_defined! {
[INFO] [stdout] 1308 | |                       pred then |def| match def.bool() {
[INFO] [stdout] 1309 | |                         Some(true) => { to_rm.insert(* pred) ; () },
[INFO] [stdout] 1310 | |                         Some(false) => return TTerms::tru(),
[INFO] [stdout] ...    |
[INFO] [stdout] 1313 | |                     }
[INFO] [stdout]      | |_____________________- in this macro invocation
[INFO] [stdout]      |
[INFO] [stdout]      = note: for more information, see <https://doc.rust-lang.org/reference/patterns.html#binding-modes>
[INFO] [stdout]      = note: this error originates in the macro `if_defined` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] help: match on the reference with a reference pattern to avoid implicitly borrowing
[INFO] [stdout]      |
[INFO] [stdout] 1250 |                     for &(ref idx, ref $def) in model {
[INFO] [stdout]      |                         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hoice` (lib test) due to 6 previous errors; 12 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `hoice` (lib) due to 6 previous errors; 12 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7", kill_on_drop: false }`
[INFO] [stdout] 02de03d494a7803608c55cac3cd10f1e46b50ed70751f971c368daff2ece4fa7
